Mathematical Problems in Packaging Engineering
نویسندگان
چکیده
منابع مشابه
Packaging Mathematical Structures
This paper proposes generic design patterns to define and combine algebraic structures, using dependent records, coercions and type inference, inside the Coq system. This alternative to telescopes in particular allows multiple inheritance, maximal sharing of notations and theories, and automated structure inference. Our methodology is robust enough to support a hierarchy comprising a broad vari...
متن کاملMATHEMATICAL ENGINEERING TECHNICAL REPORTS Hybrid Metaheuristics for Packing Problems
The METR technical reports are published as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and c...
متن کاملMATHEMATICAL ENGINEERING TECHNICAL REPORTS Matching Problems with Delta-Matroid Constraints
Given an undirected graph G = (V,E) and a delta-matroid (V,F), the delta-matroid matching problem is to find a maximum cardinality matching M such that the set of the end vertices of M belongs to F . This problem is a natural generalization of the matroid matching problem to delta-matroids, and thus it cannot be solved in polynomial time in general. This paper introduces a class of the delta-ma...
متن کاملMATHEMATICAL ENGINEERING TECHNICAL REPORTS Sign-Solvable Linear Complementarity Problems
This paper presents a connection between qualitative matrix theory and linear complementarity problems (LCPs). An LCP is said to be sign-solvable if the set of the sign patterns of the solutions is uniquely determined by the sign patterns of the given coefficients. We provide a characterization for sign-solvable LCPs such that the coefficient matrix has nonzero diagonals, which can be tested in...
متن کاملEngineering Mathematical Knowledge
Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS and CDET. That way, we achieve major benefits for mathematical knowledge management: (1) Semantic annotations relate mathematical constructs. This reaches beyond mathematics and thus fosters integration of mathematical content into a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Problems in Engineering
سال: 2013
ISSN: 1024-123X,1563-5147
DOI: 10.1155/2013/691201